If H is subgroup of G then H is subgroup of normalizer of H